航天器运输包装箱仿真验证平台技术研究

针对数量有限的物理跑车试验无法满足减振与保温性能测试需求的问题，提出一套航天器运输包装箱动力学与热学仿真验证方法，包括：建立适用于包装箱系统的刚柔耦合多体动力学系统，通过结合线路条件测试生成的动力学系统外部激励，实现减振性能虚拟跑车测试；建立基于计算流体力学的包装箱热学模型，通过模拟自然对流和空调控制，实现包装箱保温性能虚拟跑车测试；基于C/S架构和导航式流程设计思想，建立航天器运输包装箱仿真验证平台，通过实际案例证明该平台仿真结果与实际跑车测试数据具有较高的一致性。     

高准确度直流电阻仪整体检定方法探讨及不确定度评定

介绍了几种整体检定直流电阻仪器的检定方法 ,着重分析了用数字多用表整体检定高准确度直流电阻仪器的工作原理和检定方法 ,并进行了不确定度的计算。     

数字多用表自动检定校准系统

本文介绍了一种数字多用表的自动检定校准系统的构成及软件设计 ,并对系统软件的设计方法 ,主要功能及主要特色进行了讨论。     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

基于VB6．0数据库下的示波器自动检定系统实现

以9500示波器自动检定系统为例,介绍了在VB6.0开发环境下,引用其强大的数据库功能。通过建立9500程控代码数据库、仪器登记数据库、检定参数设置信息库、检定结果信息库,实现了各库之间的数据访问和存储,达到了对各种示波器的半自动和全自动检定。并将部分代码加以介绍,可以直接在其它自动测试中应用,因此具有广泛的应用和借鉴价值。     

基于PXI总线的瞄准电子设备虚拟计量检定系统

基于PXI总线和虚拟仪器的设计思想 ,提出了一种新型的瞄准电子设备虚拟计量检定系统的设计方案 ,对系统的硬件组成、检测原理和系统软件进行了论述 ,并对系统的校准问题进行了分析。     

ASL3000集成电路测试系统的检定方法

介绍了ASL3000集成电路测试系统的检定方法.通过分析该测试设备的特性,对线性信号、数字信号、混合信号、射频信号、基带信号模块的检定,采用自带通用仪表和检定程序实现;对于自带仪表的检定,则通过定期送检,溯源到国家标准.     

虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。     

民用飞机型号合格审定计划的制定方法

在民用飞机型号合格适航取证过程中，申请方需要开展符合性验证试验、试飞、分析等符合性验证活动来证明飞机型号设计符合相应的型号合格审定基础，以获得适航当局颁发的型号合格证。在此过程中，需要将符合性验证活动分解为便于管理的任务，使这些任务得以合理、有序地完成，这类分解后的符合性验证活动的载体就是一份份型号合格审定计划。审定计划是民用飞机型号合格取证的关键工具，它提供了详细的产品描述和成功完成取证的工作要求。分析了审定计划的适航规章要求和行业标准要求以及两者之间的异同，结合国内民用飞机型号的适航取证经验，提出了审定计划的规划原则、内容要求和协调性检查要求，为国内民用飞机型号合格审定计划的规划和制定提供参考。